/* Fichier compilé vers C */
{
return ILP_Integer2ILP(34) ;
}
